Modal and Temporal Properties of Processes (Texts in Computer Science) by Colin StirlingClick Here : https://wahyu-salesman.blogspot.com/?book=0387987177